        p(X,Y):- X<Y.
        q([],T,T).
        q(T,[],T).
        q([X|Y],[Z|W],[X|T]):-
                p(X,Z),
                q(Y,[Z|W],T).
        q([_|X],Y,Z):-
                q